Marc Gourjon - Explicit Leakage: Handling Side-Channel Behavior In Program Rewriting And Analysis